Mila E. Majster-Cederbaum: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Denotational semantics in the cpo and metric approach

Christel Baier, Mila E. Majster-Cederbaum

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.76 MB

english, 1994

2

Bundle event structures: A revised cpo approach

Harald Fecher, Mila Majster-Cederbaum, Jinzhao Wu

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 95 KB

english, 2002

3

Deciding Bisimilarity and Similarity for Probabilistic Processes

Christel Baier, Bettina Engelen, Mila Majster-Cederbaum

Journal:

Journal of Computer and System Sciences

Year:

2000

File:

PDF, 2.08 MB

2000

4

Ensuring the existence of a BCNF- decomposition that preserves functional dependencies in O(N2) time

Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 531 KB

english, 1992

5

Denotational linear time semantics and sequential composition

Christel Baier, Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 822 KB

english, 1996

6

Liveness in Interaction Systems

Mila Majster-Cederbaum, Moritz Martens, Christoph Minnameier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 369 KB

english, 2008

7

Reachability in Tree-Like Component Systems is PSPACE-Complete

Mila Majster-Cederbaum, Nils Semmelrock

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 321 KB

english, 2010

8

Trace Machines for Observing Continuous-Time Markov Chains

Verena Wolf, Christel Baier, Mila Majster-Cederbaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 355 KB

english, 2006

9

Trace Semantics for Stochastic Systems with Nondeterminism

Verena Wolf, Christel Baier, Mila Majster-Cederbaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 365 KB

english, 2006

10

Transition systems from event structures revisited

Mila Majster-Cederbaum, Markus Roggenbach

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 580 KB

english, 1998

11

Metric completion versus ideal completion

Mila E. Majster-Cederbaum, Christel Baier

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.39 MB

english, 1996

12

Towards a unified view of bisimulation: a comparative study

Markus Roggenbach, Mila Majster-Cederbaum

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 408 KB

english, 2000

13

Taking Decisions Late: End-Based Choice Combined with Action Refinement

Harald Fecher, Mila Majster-Cederbaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 459 KB

english, 2002

14

Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model

Harald Fecher, Mila Majster-Cederbaum, Jinzhao Wu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

File:

PDF, 1.23 MB

2002

15

The connection between an event structure semantics and an operational semantics forTCSP

Christel Baier, Mila E. Majster-Cederbaum

Journal:

Acta Informatica

Year:

1994

Language:

english

File:

PDF, 921 KB

english, 1994

16

The connection between initial and unique solutions of domain equations in the partial order and metric approach

Christel Baier, Mila Majster-Cederbaum

Journal:

Formal Aspects of Computing

Year:

1997

Language:

english

File:

PDF, 1.26 MB

english, 1997

17

Elimination of redundant operations in relational queries with general selection operators

Mila E. Majster-Cederbaum

Journal:

Year:

1985

Language:

english

File:

PDF, 973 KB

english, 1985

18

Towards action refinement for true concurrent real time

Mila Majster-Cederbaum, Jinzhao Wu

Journal:

Acta Informatica

Year:

2003

Language:

english

File:

PDF, 406 KB

english, 2003

19

Refinement of actions for real-time concurrent systems with causal ambiguity

Mila Majster-Cederbaum, Jinzhao Wu, Houguang Yue

Journal:

Acta Informatica

Year:

2006

Language:

english

File:

PDF, 639 KB

english, 2006

20

Metric semantics from partial order semantics

Christel Baier, Mila E. Majster-Cederbaum

Journal:

Acta Informatica

Year:

1997

Language:

english

File:

PDF, 339 KB

english, 1997

21

The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces

Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Year:

1989

Language:

english

File:

PDF, 726 KB

english, 1989

22

Towards the hierarchical verification of reactive systems

Mila Majster-Cederbaum, Frank Salger

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 514 KB

english, 2004

23

A simple relation between relational and predicate transformer semantics for nondeterministic programs

Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Year:

1980

Language:

english

File:

PDF, 362 KB

english, 1980

24

On the uniqueness of fixed points of endofunctors in a category of complete metric spaces

Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Year:

1988

Language:

english

File:

PDF, 385 KB

english, 1988

25

Towards a foundation for semantics in complete metric spaces

Mila E. Majster-Cederbaum, F. Zetzsche

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.20 MB

english, 1991

26

On hierarchically developing reactive systems

Naijun Zhan, Mila Majster-Cederbaum

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 447 KB

english, 2010

27

Deadlock-freedom in component systems with architectural constraints

Martens, Moritz, Majster-Cederbaum, Mila

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 1.56 MB

english, 2012

28

Efficient deadlock analysis of component-based software architectures

Lambertz, Christian, Majster-Cederbaum, Mila

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 858 KB

english, 2013

29

[IEEE 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - Higashi Hiroshima, Japan (2009.12.8-2009.12.11)] 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies - Modular Consensus Algorithms for the Crash-Recovery Model

Freiling, Felix C., Lambertz, Christian, Majster-Cederbaum, Mila

Year:

2009

Language:

english

File:

PDF, 342 KB

english, 2009

30

A basis for compositionally ensuring safety properties and its connection to relational algebraic operators

Majster-Cederbaum, Mila, Semmelrock, Nils

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 736 KB

english, 2015

31

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation

Martens, Moritz, Majster-Cederbaum, Mila

Year:

2009

Language:

english

File:

PDF, 273 KB

english, 2009

32

HOW TO INTERPRET AND ESTABLISH CONSISTENCY RESULTS FOR SEMANTICS OF CONCURRENT PROGRAMMING LANGUAGES

Baier, Christel, Majster-Cederbaum, Mila

Journal:

Fundamenta Informaticae

Year:

1997

File:

PDF, 1.43 MB

1997